Nuprl Definition : locknd-spread
11,40
postcript
pdf
locknd-spread(
ik
;
i
,
k
.
P
(
i
;
k
)) == let
i
,
k
=
ik
in
P
(
i
;
k
)
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
locknd-spread
origin